Theorem machine prove
[计] 定理机器证明
🧩 词语组成解析
prove
[pru:v]
vt. 证明，证实;[法]验证，检定;显示;
vi. 显示出，证明是;
🗣️ 情景例句
She's come up with a new idea for increasing sales.
她想出了增加销售量的主意。
He has a boat.
他有一艘船。
No matter what happened, he would not say a word.
不管发生什么事，他也不会说一句话。